#!/bin/sh
vivado -mode batch -source run_synth.tcl -tclargs $1 $2 $3 $4 $5 $6